Словарь по логике - функтор
Связанные словари
Функтор
средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак " " можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. д. К числу нуль-местных Ф. в математической логике относят константы индивидные и пропозициональные. Одноместными Ф. будут знаки отрицания, необходимости, возможности и т. п., двухместными Ф. бинарные логические связки: конъюнкция, дизъюнкция, импликация и т. п.
Иногда Ф. подразделяются на экстенсиональные и интенсиональные. Примером первых являются связки классической математической логики, для которых важны лишь истинностные значения тех простых высказываний, к которым они применяются. Если Ф. учитывает еще и смысловые, содержательные связи между теми элементами, к которым он применяется, он считается интенсиональным. К числу интенсиональных Ф. относят знаки возможности и необходимости, сильную, строгую, релевантную импликацию и т. п. (см.: Функция).
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 1494 | |
2 | 1307 | |
3 | 1163 | |
4 | 1008 | |
5 | 764 | |
6 | 710 | |
7 | 681 | |
8 | 675 | |
9 | 654 | |
10 | 652 | |
11 | 613 | |
12 | 610 | |
13 | 571 | |
14 | 571 | |
15 | 560 | |
16 | 558 | |
17 | 552 | |
18 | 537 | |
19 | 534 | |
20 | 520 |